Non-local exits
Subsections
Unwind Blocks
Non-Local Exits